Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
741	¨ t Augsburg Universita Formal Verification of Information Flow Secure Systems with IFlow Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:12:56 Software engineering Design Diagrams Automata theory Models of computation Class diagram Stereotype Activity diagram Sequence diagram UML diagrams Unified Modeling Language Data modeling
742	Principles of Systems and Cybernetics: an evolutionary perspective Francis HEYLIGHEN* PO, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium [removed] Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:16 Thermodynamics Systems theory Thermodynamic entropy Formal sciences Superorganisms Francis Heylighen Self-organization Principia Cybernetica Non-equilibrium thermodynamics Cybernetics Science Systems science
743	ETRIKS European Translational Information & Knowledge Management System Through the eTRIKS project, the University of Add to Reading List Source URL: www.horizon2020.lu Language: English - Date: 2014-12-15 05:35:15 Pharmaceutical industry Pharmacology Formal sciences Science and technology in Europe Luxembourg Centre for Systems Biomedicine Innovative Medicines Initiative Bioinformatics Clinical trial Biologist Science Pharmaceutical sciences Research
744	TUM TECHNISCHE UNIVERSITÄT MÜNCHEN INSTITUT FÜR INFORMATIK Seminar: Embedded Systems Add to Reading List Source URL: planetic.es Language: English - Date: 2015-01-29 04:44:26 Electronic engineering Embedded systems Central processing unit Operating system Formal verification Embedded software Advanced Learning and Research Institute Ring SIGNAL Formal methods Computing Electronics
745	Microsoft Word[removed]docx Add to Reading List Source URL: www.gesoftware.com Language: English - Date: 2014-07-23 19:48:09 Business Formal sciences Database management systems Database theory System administration Analytics Predictive analytics Enterprise asset management Geographic information system Business intelligence Technology Data management
746	Big data processing platforms InfoFrame DataBooster for High-speed Processing of Big Data KAWABATA Terumasa, HAMADA Mitsuyasu, TAMURA Minoru, HAKUBA Tomohiro Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2014-03-26 09:03:56 Software Relational database management systems Cross-platform software Database theory Formal sciences SQL Oracle Database Big data Database Data management Computing Database management systems
747	Big Data Big Data generation in biomedicine Big data challenges: secure, maintain, transfer and analyse Emerging solutions and open problems Big Data and the promotion of personalized medicine Presentation of the Project Add to Reading List Source URL: www.esbb.org Language: English - Date: 2014-11-06 13:14:59 Data management Emerging technologies Database management systems Database theory Genomics Data mining Bioinformatics Big data Database Formal sciences Science Technology
748	FINAL-WiproBigData010512-FINAL Add to Reading List Source URL: www.wipro.com Language: English - Date: 2012-01-20 02:18:46 Science Formal sciences Database management systems Emerging technologies Analytics Business analytics Big data Data analysis Data warehouse Business intelligence Data management Technology
749	School of Engineering An overview of Research & Development Zurich University Add to Reading List Source URL: engineering.zhaw.ch Language: English - Date: 2013-10-08 08:15:50 Cybernetics Knowledge Software development Data analysis Data mining Software development process Business intelligence Information engineering System Science Systems theory Formal sciences
750	1 Aristotle’s Megarian Manoeuvres Abstract: Towards the end of Theta. 4 of the Metaphysics, Aristotle appears to endorse the obviously invalid modal principle that the truth of A will entail the truth of B if the possi Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2012-03-17 18:14:48 Non-classical logic Formal systems Propositional calculus Axiom Entailment Deontic logic Epistemic modal logic Logic Philosophical logic Modal logic

UPDATE